1. Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
پدیدآورنده : Harald Ganzinger )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1632
2. Informatik :
پدیدآورنده : hrsg. von Johannes Buchmann, Harald Ganzinger, Wolfgang J. Paul.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Hotz, Günter,Informatik,MATHEMATIK
رده :
QA76
.
5
H774
1992
3. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1705
4. Programs as Data Objects :
پدیدآورنده : by Harald Ganzinger, Neil D. Jones.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
5. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
6. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings
پدیدآورنده : Harald Ganzinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1103
